Received: from virtual.bbc.co.uk (virtual.bbc.co.uk [132.185.132.199])
by odie.barnet.ac.uk (8.8.6/8.8.6) with ESMTP id XAA04154
for <willy@odie.barnet.ac.uk>; Thu, 18 Jun 1998 23:56:06 +0100
Received: from nic.funet.fi (nic.funet.fi [128.214.248.6])
by virtual.bbc.co.uk (8.8.5/8.8.5) with ESMTP id AAA19323
for <willy@bofh.ai>; Fri, 19 Jun 1998 00:23:00 +0100 (BST)
Received: from vger.rutgers.edu ([128.6.190.2]:40810 "EHLO vger.rutgers.edu" ident: "root") by nic.funet.fi with ESMTP id <19528-24650>; Fri, 19 Jun 1998 02:22:25 +0300
Received: by vger.rutgers.edu id <970945-11442>; Thu, 18 Jun 1998 19:06:10 -0400
Received: from red.csi.cam.ac.uk ([131.111.8.70]:45796 "EHLO red.csi.cam.ac.uk" ident: "exim") by vger.rutgers.edu with ESMTP id <970971-11442>; Thu, 18 Jun 1998 19:04:09 -0400
Received: from dmf20 (helo=localhost)
by red.csi.cam.ac.uk with local-smtp (Exim 1.92 #1)
id 0ymnvS-0004XV-00; Fri, 19 Jun 1998 00:17:02 +0100
Date: Fri, 19 Jun 1998 00:17:02 +0100 (BST)
From: David Forbes <dmf20@hermes.cam.ac.uk>
X-Sender: dmf20@red.csi.cam.ac.uk
To: "Neil A. Carson" <neil@causality.com>
cc: John Lindley <john@BITS.bris.ac.uk>,
ARMLinuxmailinglist Linux <linux-arm@vger.rutgers.edu>